| 1 | Ingo Pill and Ivan Rubil and Franz Wotawa and Mihai Nica
{SIMULTATE:} {A} Toolset for Fault Injection and Mutation Testing of Simulink Models
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{pill_ICSTW_16,
author = {Ingo Pill and Ivan Rubil and Franz Wotawa and Mihai Nica},
title = {{SIMULTATE:} {A} Toolset for Fault Injection and Mutation Testing of Simulink Models},
booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016},
year = {2016},
address = {},
month = {},
pages = {168--173}
} |
| 2 | Rui Abreu and Birgit Hofer and Alexandre Perez and Franz Wotawa
Using constraints to diagnose faulty spreadsheets
Software Quality Journal, 23(2), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{abreu_SQJ_15,
author = {Rui Abreu and Birgit Hofer and Alexandre Perez and Franz Wotawa},
title = {Using constraints to diagnose faulty spreadsheets},
journal = {Software Quality Journal},
year = {2015},
month = {},
volume = {23},
number = {2},
pages = {297--322}
} |
| 3 | Franz Wotawa and Mihai Nica and Bernhard K. Aichernig
Generating Distinguishing Tests Using the Minion Constraint Solver
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WotawaNA10,
author = {Franz Wotawa and Mihai Nica and Bernhard K. Aichernig},
title = {Generating Distinguishing Tests Using the Minion Constraint Solver},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {325--330}
} |
| 4 | Gordon Fraser and Franz Wotawa
Complementary Criteria for Testing Temporal Logic Properties
Proceedings of the 3rd International Conferenc eon Tests And Proofs (TAP'09)Zurich, Switzerland, 02-03 June 2009. |
|
| | Abstract: While traditional testing can give evidence that an implementation conforms to a specification there is no guarantee that the implementation therefore also satisfies user requirements. Consequently, it is useful to derive test cases also from requirement properties. In this paper we introduce two new test criteria to measure adequacy of existing test suites and to derive test cases with regard to requirements formalized in linear temporal logic (LTL). The first criterion is complementary to existing criteria for requirement properties in that it focuses on cases where literals in a property should not affect the outcome of the property. The second criterion uses mutation to measure the sensitivity of a test suite with regard to the implemented requirements. In addition to coverage measurement these criteria can also be used to automatically create coverage adequate test suites with a model checker. The results of a case study illustrate the feasibility of the new criteria and demonstrate that they complement existing criteria. |
| | @INPROCEEDINGS{FraserW09,
author = {Gordon Fraser and Franz Wotawa},
title = {Complementary Criteria for Testing Temporal Logic Properties},
booktitle = {Proceedings of the 3rd International Conferenc eon Tests And Proofs (TAP'09)},
year = {2009},
address = {Zurich, Switzerland},
month = {02-03 June},
pages = {58–73}
} |
| 5 | Gordon Fraser and Franz Wotawa
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Journal, 16(2), 2008. |
|
| | Abstract: Available soon... |
| | @ARTICLE{fraser_SQJ_08,
author = {Gordon Fraser and Franz Wotawa},
title = {Using model-checkers to generate and analyze property relevant test-cases},
journal = {Software Quality Journal},
year = {2008},
month = {},
volume = {16},
number = {2},
pages = {161--183}
} |
| 6 | Gordon Fraser and Franz Wotawa
Mutant Minimization for Model-Checker Based Test-Case Generation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007. |
|
| | Abstract: Mutation of model-checker specifications is used to generate test-cases automatically. In general, model-checker based techniques are efficient when using small, abstract models, but are limited in their applicability by the performance of the model-checker. Issues that contribute to potentially bad performance are equivalent mutants which result in no test-cases, and the fact that many different mutants lead to identical or subsumed test-cases. Another drawback of such approaches is that the size of resulting test-suites can be rather large, which might require test-suite reduction as an additional post-processing step. In this paper, we describe how the number of mutants can be minimized with special properties, which help to detect equivalent mutants more quickly and to avoid the creation of redundant test-cases. Consequently, the size of created test-suites is reduced. |
| | @INPROCEEDINGS{FraserW07,
author = {Gordon Fraser and Franz Wotawa},
title = {Mutant Minimization for Model-Checker Based Test-Case Generation},
booktitle = {Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)},
year = {2007},
address = {Windsor, UK},
month = {10-14 September},
pages = {161-168}
} |
